Merge pull request #1513 from antonio-nino-diaz-arm/an/xlat-caches
authorDimitris Papastamos <[email protected]>
Thu, 9 Aug 2018 14:16:19 +0000 (15:16 +0100)
committerGitHub <[email protected]>
Thu, 9 Aug 2018 14:16:19 +0000 (15:16 +0100)
xlat v2: Cleanup and dcache coherency bug fix


Trivial merge